3.1.55 \(\int \frac {1}{(c g+d g x)^2 (A+B \log (e (\frac {a+b x}{c+d x})^n))^2} \, dx\) [55]

Optimal. Leaf size=154 \[ \frac {e^{-\frac {A}{B n}} (a+b x) \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )^{-1/n} \text {Ei}\left (\frac {A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{B n}\right )}{B^2 (b c-a d) g^2 n^2 (c+d x)}-\frac {a+b x}{B (b c-a d) g^2 n (c+d x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )} \]

[Out]

(b*x+a)*Ei((A+B*ln(e*((b*x+a)/(d*x+c))^n))/B/n)/B^2/(-a*d+b*c)/exp(A/B/n)/g^2/n^2/((e*((b*x+a)/(d*x+c))^n)^(1/
n))/(d*x+c)+(-b*x-a)/B/(-a*d+b*c)/g^2/n/(d*x+c)/(A+B*ln(e*((b*x+a)/(d*x+c))^n))

________________________________________________________________________________________

Rubi [A]
time = 0.08, antiderivative size = 154, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, integrand size = 35, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.114, Rules used = {2551, 2334, 2337, 2209} \begin {gather*} \frac {(a+b x) e^{-\frac {A}{B n}} \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )^{-1/n} \text {Ei}\left (\frac {A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{B n}\right )}{B^2 g^2 n^2 (c+d x) (b c-a d)}-\frac {a+b x}{B g^2 n (c+d x) (b c-a d) \left (B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )+A\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[1/((c*g + d*g*x)^2*(A + B*Log[e*((a + b*x)/(c + d*x))^n])^2),x]

[Out]

((a + b*x)*ExpIntegralEi[(A + B*Log[e*((a + b*x)/(c + d*x))^n])/(B*n)])/(B^2*(b*c - a*d)*E^(A/(B*n))*g^2*n^2*(
e*((a + b*x)/(c + d*x))^n)^n^(-1)*(c + d*x)) - (a + b*x)/(B*(b*c - a*d)*g^2*n*(c + d*x)*(A + B*Log[e*((a + b*x
)/(c + d*x))^n]))

Rule 2209

Int[(F_)^((g_.)*((e_.) + (f_.)*(x_)))/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[(F^(g*(e - c*(f/d)))/d)*ExpInteg
ralEi[f*g*(c + d*x)*(Log[F]/d)], x] /; FreeQ[{F, c, d, e, f, g}, x] &&  !TrueQ[$UseGamma]

Rule 2334

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_), x_Symbol] :> Simp[x*((a + b*Log[c*x^n])^(p + 1)/(b*n*(p + 1)))
, x] - Dist[1/(b*n*(p + 1)), Int[(a + b*Log[c*x^n])^(p + 1), x], x] /; FreeQ[{a, b, c, n}, x] && LtQ[p, -1] &&
IntegerQ[2*p]

Rule 2337

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_), x_Symbol] :> Dist[x/(n*(c*x^n)^(1/n)), Subst[Int[E^(x/n)*(a +
b*x)^p, x], x, Log[c*x^n]], x] /; FreeQ[{a, b, c, n, p}, x]

Rule 2551

Int[((A_.) + Log[(e_.)*(((a_.) + (b_.)*(x_))/((c_.) + (d_.)*(x_)))^(n_.)]*(B_.))^(p_.)*((f_.) + (g_.)*(x_))^(m
_.), x_Symbol] :> Dist[(b*c - a*d)^(m + 1)*(g/d)^m, Subst[Int[(A + B*Log[e*x^n])^p/(b - d*x)^(m + 2), x], x, (
a + b*x)/(c + d*x)], x] /; FreeQ[{a, b, c, d, e, f, g, A, B, n}, x] && NeQ[b*c - a*d, 0] && IntegersQ[m, p] &&
EqQ[d*f - c*g, 0] && (GtQ[p, 0] || LtQ[m, -1])

Rubi steps

\begin {align*} \int \frac {1}{(c g+d g x)^2 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2} \, dx &=\int \frac {1}{(c g+d g x)^2 \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )^2} \, dx\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.12, size = 180, normalized size = 1.17 \begin {gather*} -\frac {e^{-\frac {A}{B n}} (a+b x) \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )^{-1/n} \left (B e^{\frac {A}{B n}} n \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )^{\frac {1}{n}}-\text {Ei}\left (\frac {A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )}{B n}\right ) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )\right )}{B^2 (b c-a d) g^2 n^2 (c+d x) \left (A+B \log \left (e \left (\frac {a+b x}{c+d x}\right )^n\right )\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[1/((c*g + d*g*x)^2*(A + B*Log[e*((a + b*x)/(c + d*x))^n])^2),x]

[Out]

-(((a + b*x)*(B*E^(A/(B*n))*n*(e*((a + b*x)/(c + d*x))^n)^n^(-1) - ExpIntegralEi[(A + B*Log[e*((a + b*x)/(c +
d*x))^n])/(B*n)]*(A + B*Log[e*((a + b*x)/(c + d*x))^n])))/(B^2*(b*c - a*d)*E^(A/(B*n))*g^2*n^2*(e*((a + b*x)/(
c + d*x))^n)^n^(-1)*(c + d*x)*(A + B*Log[e*((a + b*x)/(c + d*x))^n])))

________________________________________________________________________________________

Maple [F]
time = 0.05, size = 0, normalized size = 0.00 \[\int \frac {1}{\left (d g x +c g \right )^{2} \left (A +B \ln \left (e \left (\frac {b x +a}{d x +c}\right )^{n}\right )\right )^{2}}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(d*g*x+c*g)^2/(A+B*ln(e*((b*x+a)/(d*x+c))^n))^2,x)

[Out]

int(1/(d*g*x+c*g)^2/(A+B*ln(e*((b*x+a)/(d*x+c))^n))^2,x)

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*g*x+c*g)^2/(A+B*log(e*((b*x+a)/(d*x+c))^n))^2,x, algorithm="maxima")

[Out]

-(b*x + a)/((b*c^2*g^2*n - a*c*d*g^2*n)*A*B + (b*c^2*g^2*n - a*c*d*g^2*n)*B^2 + ((b*c*d*g^2*n - a*d^2*g^2*n)*A
*B + (b*c*d*g^2*n - a*d^2*g^2*n)*B^2)*x + ((b*c*d*g^2*n - a*d^2*g^2*n)*B^2*x + (b*c^2*g^2*n - a*c*d*g^2*n)*B^2
)*log((b*x + a)^n) - ((b*c*d*g^2*n - a*d^2*g^2*n)*B^2*x + (b*c^2*g^2*n - a*c*d*g^2*n)*B^2)*log((d*x + c)^n)) -
integrate(-1/(A*B*c^2*g^2*n + B^2*c^2*g^2*n + (A*B*d^2*g^2*n + B^2*d^2*g^2*n)*x^2 + 2*(A*B*c*d*g^2*n + B^2*c*
d*g^2*n)*x + (B^2*d^2*g^2*n*x^2 + 2*B^2*c*d*g^2*n*x + B^2*c^2*g^2*n)*log((b*x + a)^n) - (B^2*d^2*g^2*n*x^2 + 2
*B^2*c*d*g^2*n*x + B^2*c^2*g^2*n)*log((d*x + c)^n)), x)

________________________________________________________________________________________

Fricas [A]
time = 0.34, size = 254, normalized size = 1.65 \begin {gather*} -\frac {{\left (B b n x + B a n\right )} e^{\left (\frac {A + B}{B n}\right )} - {\left ({\left (A + B\right )} d x + {\left (A + B\right )} c + {\left (B d n x + B c n\right )} \log \left (\frac {b x + a}{d x + c}\right )\right )} \operatorname {log\_integral}\left (\frac {{\left (b x + a\right )} e^{\left (\frac {A + B}{B n}\right )}}{d x + c}\right )}{{\left ({\left (B^{3} b c d - B^{3} a d^{2}\right )} g^{2} n^{3} x + {\left (B^{3} b c^{2} - B^{3} a c d\right )} g^{2} n^{3}\right )} e^{\left (\frac {A + B}{B n}\right )} \log \left (\frac {b x + a}{d x + c}\right ) + {\left ({\left ({\left (A B^{2} + B^{3}\right )} b c d - {\left (A B^{2} + B^{3}\right )} a d^{2}\right )} g^{2} n^{2} x + {\left ({\left (A B^{2} + B^{3}\right )} b c^{2} - {\left (A B^{2} + B^{3}\right )} a c d\right )} g^{2} n^{2}\right )} e^{\left (\frac {A + B}{B n}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*g*x+c*g)^2/(A+B*log(e*((b*x+a)/(d*x+c))^n))^2,x, algorithm="fricas")

[Out]

-((B*b*n*x + B*a*n)*e^((A + B)/(B*n)) - ((A + B)*d*x + (A + B)*c + (B*d*n*x + B*c*n)*log((b*x + a)/(d*x + c)))
*log_integral((b*x + a)*e^((A + B)/(B*n))/(d*x + c)))/(((B^3*b*c*d - B^3*a*d^2)*g^2*n^3*x + (B^3*b*c^2 - B^3*a
*c*d)*g^2*n^3)*e^((A + B)/(B*n))*log((b*x + a)/(d*x + c)) + (((A*B^2 + B^3)*b*c*d - (A*B^2 + B^3)*a*d^2)*g^2*n
^2*x + ((A*B^2 + B^3)*b*c^2 - (A*B^2 + B^3)*a*c*d)*g^2*n^2)*e^((A + B)/(B*n)))

________________________________________________________________________________________

Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*g*x+c*g)**2/(A+B*ln(e*((b*x+a)/(d*x+c))**n))**2,x)

[Out]

Timed out

________________________________________________________________________________________

Giac [A]
time = 4.88, size = 140, normalized size = 0.91 \begin {gather*} -{\left (\frac {b c}{{\left (b c - a d\right )}^{2}} - \frac {a d}{{\left (b c - a d\right )}^{2}}\right )} {\left (\frac {b x + a}{{\left (B^{2} g^{2} n^{2} \log \left (\frac {b x + a}{d x + c}\right ) + A B g^{2} n + B^{2} g^{2} n\right )} {\left (d x + c\right )}} - \frac {{\rm Ei}\left (\frac {A}{B n} + \frac {1}{n} + \log \left (\frac {b x + a}{d x + c}\right )\right ) e^{\left (-\frac {A}{B n} - \frac {1}{n}\right )}}{B^{2} g^{2} n^{2}}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*g*x+c*g)^2/(A+B*log(e*((b*x+a)/(d*x+c))^n))^2,x, algorithm="giac")

[Out]

-(b*c/(b*c - a*d)^2 - a*d/(b*c - a*d)^2)*((b*x + a)/((B^2*g^2*n^2*log((b*x + a)/(d*x + c)) + A*B*g^2*n + B^2*g
^2*n)*(d*x + c)) - Ei(A/(B*n) + 1/n + log((b*x + a)/(d*x + c)))*e^(-A/(B*n) - 1/n)/(B^2*g^2*n^2))

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{{\left (c\,g+d\,g\,x\right )}^2\,{\left (A+B\,\ln \left (e\,{\left (\frac {a+b\,x}{c+d\,x}\right )}^n\right )\right )}^2} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/((c*g + d*g*x)^2*(A + B*log(e*((a + b*x)/(c + d*x))^n))^2),x)

[Out]

int(1/((c*g + d*g*x)^2*(A + B*log(e*((a + b*x)/(c + d*x))^n))^2), x)

________________________________________________________________________________________